A Smart Home Context-aware Model Based on UML and Colored Petri Net
نویسندگان
چکیده
Smart Home is one of the main application domains of Pervasive Computing, and it can provide Context-aware Services to homeowners. As context information is obtained from different sources in the Smart Home environment, the context information may be heterogeneous, inaccurate and dynamic. How to effectively model these different types of context information is a main research issue. To address this issue, we propose a hybrid Context-aware Modeling approach based on UML and Colored Petri Net in this paper. We also model leave home scenario using this approach, and use Coverability Graph to verify the leave home scenario model.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملDeterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملMapping UML Models to Colored Petri Nets Models based on Edged Graph Grammar
This paper presents an approach for transforming UML class diagrams and extended sequence diagrams into Colored Petri Nets. In the field of software model, UML has become a widely used software modeling language. However, as a semi-formal language, UML lacks a precise formal semantic base for its notation. In this paper, Colored Petri Nets are taken as the formal language for UML models' analys...
متن کاملA Petri-Net Based Context Representation in Smart Car Environment
Driving is a complex process influenced by a wide range of factors, especially complex interactions between the driver, the vehicle, and the environment. This paper represents the complex situations in smart car domain. Unlike existing context-aware systems which isolate one context situation from another, such as road congestion and car deceleration, this paper proposes a context model which c...
متن کامل